convert wav to mp3 using vlc